" Boudewijn Haverkort" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International ... Programming and Software Engineering)

Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol

Категория: Техника

3.48 Mb

#2

Performance of Computer Communication Systems: A Model-Based Approach

Boudewijn R. Haverkort

Категория: Компьютеры

31.83 Mb

#3

Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th

Lubos Brim, Boudewijn Haverkort

5.06 Mb

#4

Performance of computer communication systems

Boudewijn R. Haverkort

31.83 Mb

#5

Validation of Stochastic Systems - A Guide to Current Research

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle

Категория: CsLn_

5.22 Mb

#6

Computer Performance Evaluation. Modelling Techniques and Tools: 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 25-31, 2000 Proceedings

Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith

5.63 Mb